$\forall$${\it dec}$:(Knd$\rightarrow$Type). null $\in$ Action(${\it dec}$)